221. Mathematics of program construction : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings
Author: Dexter Kozen )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
3125
222. Mathematics of program construction : 375th anniversary of the Groningen University : international conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming-- Congresses,، Computer science-- Mathematics-- Congresses
Classification :
QA
76
.
6
.
M366
1989
223. Mathematics of program construction: 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004: proceedings
Author: Dexter Kozen, editor
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Computer science - Mathematics
Classification :
QA
76
.
6
.
I5535
2004
224. Modern Mathematical Methods and High Performance Computing in Science and Technology
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Mathematics -- Congresses,Computer science -- Mathematics -- Congresses,High performance computing -- Congresses,ریاضیات -- کنگرهها,علوم کامپیوتر -- ریاضیات -- کنگرهها,دادهپردازی با بازدهی عالی -- کنگرهها
Classification :
E-Book
,
225. Multiscale and Adaptivity
Author: / Silvia Bertoluzza...[et al.]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Multiscale modeling - Congresses,Mathematics,Computer science,ریاضی,علوم کامپیوتر
Classification :
QA377
.
B4
2011
226. Multiset processing
Author: / Cristian S. Calude ... [et al.] (eds.
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Electronic data processing--Congresses,Computer science--Mathematics--Congresses,Molecular computers--Congresses
Classification :
QA
,
76
.
5
,.
M85
,
2001
227. Multiset processing: mathematical, computer science, and molecular computing points of view
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Electronic data processing,Congresses ، Computer science-- Mathematics,Congresses ، Molecular computers
Classification :
QA
76
.
5
.
M85
2001
228. Multiset processing : mathematical, computer science, and molecular computing points of view
Author: Cristian S. Calude...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Electronic data processing,Congresses ، Computer science -- Mathematics,Congresses ، Molecular computers
Classification :
QA
76
.
L28
Vol
.
2235
229. New directions in logic, language and computation
Author: Daniel Lassiter, Marija Slavkovik (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic, Congresses,Computer science-- Mathematics, Congresses
Classification :
QA76
.
9
.
M35
E97
2010eb
230. New frontiers in quantitative methods in informatics: 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised selected papers
Author:
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Computer science -- Mathematics -- Congresses,Computer networks -- Mathematical models -- Congresses,Computer networks, Computer science
231. Number theoretic and algebraic methods in computer science: proceedings of the international conference, Moscow, June/July 1993
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Number theory,Congresses ، Algebra,Congresses ، Computer science-- Mathematics
Classification :
QA
241
.
N84
1995
232. Number-theoretic methods in cryptology :
Author: Jerzy Kaczorowski, Josef Pieprzyk, Jacek Pomykała (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cryptography, Congresses.,Monte Carlo method, Congresses.,Algorithms.,Coding theory & cryptology.,Computer science-- Mathematics.,Computer science.,Computers-- Data Processing.,Computers-- Programming-- Algorithms.,Computers-- Security-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Computers.,Data encryption (Computer science),Discrete mathematics.,Information technology: general issues.,Mathematics-- Number Theory.,Number theory.,Number theory.,Numerical analysis.,Software engineering.,Software Engineering.
Classification :
QA76
.
9
.
A25
N88
2017
233. Perspectives of System Informatics
Author: \ Andrei Voronkov, Irina Virbitskaite (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering -- Congresses.,Computer science -- Congresses.,Computer science -- Mathematics -- Congresses.,نرمافزار -- مهندسی-- کنگرهها ,علوم کامپیوتر -- کنگرهها ,علوم کامپیوتر -- ریاضیات -- کنگرهها
Classification :
QA
76
.
758
.
P47
2015
E-Book
,
234. Proceedings Symposium on Logic in Computer Science, LICS 94, CNAM, paris France, July 4-7, 1994
Author: sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing INRIA
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Computer science - Mathematics - Congresses, Logic, Symbolic and mathematical - Congresses
Classification :
QA
76
.
9
.
M35
S94
1994
235. Proceedings of the fifth International Conference on Mathematics and Computing :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Mathematics ; Congresses. ;
236. Proceedings of the sixth International Conference on Mathematics and Computing :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Mathematics ; Congresses. ;
237. Proceedings of the 19th annual IEEE Symposium on Logic in Computer Science, LICS 2004, Turku, Finland, 13-17 July 2004
Author: / Sponsored by IEEE Technical Committee on Mathematical Foundations of Computing with support from Academy of Finland...[et al.]
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computer science -- Mathematics -- Congresses,Logic, Symbolic and mathematical -- Congresses
Classification :
QA
76
.
9
.
M35
S94
2004
238. Proceedings : 15th annual Symposium on Logic in Computer Science, June 26-28, 2000, Santa Barbara, California
Author: sponsored by IEEE Computer Society Technical Committee on the Mathematical Foundations of Computing; in cooperation with Association for Symbolic Logic and European Association for Theoretical Computer Science; with support from Kestrel Institute,...
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
75
.
5
.
I38
2000
239. Randomization and approximation techniques in computer science: International Workshop RANDOM'97 Bologna, Italy, July 11-12, 1997: proceedings
Author: Jose Rolim, ]ed.[
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Statistical methods - Congresses ، Computer science,Mathematics - Congresses ، Computer science
Classification :
QA
76
.
9
.
M35
R36
1997
240. Reachability problems :
Author: Igor Potapov, Pierre-Alain Reynier (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
Classification :
QA76
.
76
.
V47
